@conference{BCCZ99,
 author =       {A. Biere and A. Cimatti and E. Clarke and Y. Zhu.},
 title =        {Symbolic Model Checking without BDDs},
 booktitle = {Tools and Algorithms for Construction and Analysis
      of Systems, In TACAS'99},
 year = {March 1999}
}

@inproceedings{een04temporal,
    author = {Niklas E\'en and Niklas S\"orensson},
    title = {Temporal induction by incremental SAT solving},
    booktitle = {Electronic Notes in Theoretical Computer Science},
    volume = {89},
    issue = {4},
    publisher = {Elsevier},
    editor = {Ofer Strichman and Armin Biere},
    year = {2004}
}
